Generating a Performance Stochastic Model from UML Specifications

Since its initiation by Connie Smith, the process of Software Performance Engineering (SPE) is becoming a growing concern. The idea is to bring performance evaluation into the software design process. This suitable methodology allows software designers to determine the performance of software during design. Several approaches have been proposed to provide such techniques. Some of them propose to derive from a UML (Unified Modeling Language) model a performance model such as Stochastic Petri Net (SPN) or Stochastic process Algebra (SPA) models. Our work belongs to the same category. We propose to derive from a UML model a Stochastic Automata Network (SAN) in order to obtain performance predictions. Our approach is more flexible due to the SAN modularity and its high resemblance to UML' state-chart diagram

Characterizing and Detecting State-Sponsored Troll Activity on Social Media

The detection of state-sponsored trolls acting in information operations is an unsolved and critical challenge for the research community, with repercussions that go beyond the online realm. In this paper, we propose a novel AI-based solution for the detection of state-sponsored troll accounts, which consists of two steps. The first step aims at classifying trajectories of accounts' online activities as belonging to either a state-sponsored troll or to an organic user account. In the second step, we exploit the classified trajectories to compute a metric, namely "troll score", which allows us to quantify the extent to which an account behaves like a state-sponsored troll. As a study case, we consider the troll accounts involved in the Russian interference campaign during the 2016 US Presidential election, identified as Russian trolls by the US Congress. Experimental results show that our approach identifies accounts' trajectories with an AUC close to 99\% and, accordingly, classify Russian trolls and organic users with an AUC of 97\%. Finally, we evaluate whether the proposed solution can be generalized to different contexts (e.g., discussions about Covid-19) and generic misbehaving users, showing promising results that will be further expanded in our future endeavors.Comment: 15 page

CityPro : an integrated city-protection collaborative platform

It’s a big challenge to deal with security in a city. Technology advancements are influencing our life, cities are evolving, and modern cities are referring more and more to digital technologies. Currently, a huge amount of standalone independent-systems operate in the city, their goal is to satisfy some business activities, e.g. banking, customs, hospitals, etc. Data collected by these systems represents, if integrated, a key element in any decision making process. This paper presents a, working, smart collaborative platform to integrate multiple systems to serve the surveillance activities in a city or country. It consists of a collaborative surveillance system, called CityPro. The architecture that we propose is a future vision to protect people and monitor public infrastructures, such as bridges, roads, buildings, etc.; it is designed to deal with and/or prevent abnormal activities like terrorist attacks. CityPro is expected to operate in live-mode by using (intended to use) city adapted IT-infrastructures. At the end of this paper, a typical case study is given, and challenges and future works are also discussed

Evaluation de performance et conception de logiciel

Dans le cadre de modélisation et de résolution mathématique en terme d'une chaîne de MARKOV, plusieurs formalismes haut niveau ont été développés pour répondre aux problèmes posés par la taille potentiellement très grande de cette chaîne. Dans cette thèse, nous nous intéressons au formalisme de réseaux d'automates stochastiques (SANs) qui aborde ce problème par une approche compositionelle. Un SAN représente un système où les délais des activités sont donnés par la moyenne d'une loi exponentielle possédant des propriétés mathématiques convenables à la théorie de MARKOV. Cependant, comme des nombreux phénomènes réels ne peuvent pas être exprimés par la distribution exponentielle, nous développons une nouvelle méthodologie pour l'utilisation des autres types de délais dans un SAN. En particulier, nous introduisons dans un SAN des distributions type-phase (PH), et des délais modélisés par des files d'attentes de différentes disciplines de service. Nous donnons une représentation tensorielle généralisée compacte du modèle avec ces nouveaux types de délai. Les performances recherchées concernent dans cette étude l'état stationnaire de la chaîne de MARKOV. Un algorithme de calcul de bornes stochastiques pour l'état stationnaire, développé précédemment pour les chaînes de MARKOV, peut être une alternative efficace. Nous présentons une procédure pour appliquer cet algorithme dans le cas d'un SAN.GRENOBLE1-BU Sciences (384212103) / SudocSudocFranceF

MODÉLISATION ET ÉVALUATION DE PERFORMANCE D'UN ALGORITHME DE VOL DE TRAVAIL SUR DES ARCHITECTURES MULTI-COEURS

Colloque avec actes et comité de lecture. internationale.International audienceLes méthodes de vol de travail permettent la re-distribution et une équilibrage équitable de la charge de travail sur des machines parallèles. Lorsqu'une unité de calcul termine ses travaux, elle va voler des travaux des unités qui ne sont pas encore terminées. On s'intéresse dans cet article à la modélisation et à l'évaluation de performance d'une méthode de vol de travail stochastiques sur des machines multi-coeurs. On propose des modèles génériques pour l'algorithme de vol de travail. Ces modèles génériques seront en suite utilisés pour modéliser une architecture constituée de trois coeurs de calcul. On termine par une analyse de mesures obtenues lors de la résolution du modèle

Stochastic Bounds for Microprocessor Systems Availability

International audienceThis paper proposes a constraint programming based approach to handle ontologies consistency, and more precisely user-defined consistencies. In practice, ontologies consistency is not still well handled in the current software environments. This is due to the algorithmic and language limitations of the tools developed to handle the consistency constraints. The idea of this paper is to tackle this problem by exploiting constraint programming which is proved to be efficient and provides various techniques to handle many types of constraints on different domains